#ifndef __PAGE_H__
#define __PAGE_H__

#include "common.h"

#define PAGE_SIZE 64

hwaddr_t page_translate(lnaddr_t addr);
hwaddr_t page_translate_monitor(lnaddr_t addr, int *flag);

#endif